\frameforsection[t]{
  \label{4-1}
  \begin{itemize}
    \item 模块的说明书，又称为数据手册
    \item 数据手册通常包含一下内容
      \begin{enumerate}
	\item 模块的功能描述
	\item 模块输入输出详细描述：信号名称、宽度、方向、简短描述
	\item 给出所有模块参数描述
	\item 模块中所有状态和寄存器描述（对于时序电路）
	\item 模块同步时序：模块周期级时序
	\item 模块电气性能：电源、功耗、输入输出信号电平、输入载荷和输出驱动能力
      \end{enumerate}
    \item 基础单元是一种物理芯片，数据手册中电气特性和时序均为实际值
    \item 未综合的Verilog模块，很多电气参数是未知的
    \item 约束文件：指定时序和电气参数期望的目标，用于指导工具进行综合和物理设计
  \end{itemize} 
}
\frameforsection[t]{
  \label{4-2}
  \begin{itemize}
    \item 约束文件示例（这个文件可被Synopsys Design Compiler使用）
      \outfigure{.5}{Synopsys约束文件示例.png}
  \end{itemize}
}
